Tool-supported identification of functional concerns in object-oriented code

location kind Encoding class field ‘F’ formal parameter ‘P’ object context ‘O’ return value ‘R’ local value ‘L’ exception parameter ‘E’ object creation ‘T’ Table 4.1: Encoding of abstract location kinds The qualified unique name of the abstract location is defined as the simple name of the abstract location prefixed with the qualified unique name of the entity containing it. Class fields are prefixed with the fully qualified name of the containing class, and abstract locations defined inside a method are prefixed with the fully qualified name of the class containing the method, and the signature of the containing method. For unnamed abstract locations representing return values of methods, we use the short name return, and for object context abstract locations, we use the short name this. For object creation abstract locations we use the short name new_x, where x is the order number of the new operator within its containing method or class. Note that in case of the Java programming language, the symbols return, this, and new are reserved keywords, so they cannot serve as names for any named abstract location. As a result, the short names used for the unnamed abstract locations cannot clash with the names of other abstract locations. The · operator in the definition of LV is the simple word concatenation operator. Let V o ⊂V be the set of all abstract locations having a non-primitive data type, and letΛA be an alphabet defined as follows: ΛA = {‘e’}∪ {‘(i ’ | 1≤ i ≤ n}∪ {‘)i ’ | 1≤ i ≤ n} ∪ {‘ o ’ | o ∈V o }